Practice problem 9.1